Realising the Benefits of Formal Methods
نویسنده
چکیده
What are the real benefits of formal methods and Why should we care about them? When and Where should we expect to use them, and Who should be involved? I suggest some answers to those questions and describe one approach, Correctness by Construction [1], that has achieved practical success on several real industrial developments. Based on this I propose some challenges for formal methods research.
منابع مشابه
Uml-based Design and Formal Analysis of a Safety- Critical Railway Control Software Module
A new equipment of safety relevance has been developed to upgrade ageing relay-based railway interlocking systems in Hungary. In course of the design process formal methods have been used in the development of a module realising a well-separable function of the system. Namely, the UML-based design process was extended by model based analysis and validation. The first kind of analysis checked th...
متن کاملReaching Outside the Comfort Zone: Realising the FCTC’s Potential for Public Health Governance and Regulation in the European Union; Comment on “The Legal Strength of International Health Instruments – What It Brings to Global Health Governance?”
In their paper, Nikogosian and Kickbusch show how the effects of the adoption by the World Health Organization (WHO) of the Framework Convention on Tobacco Control (WHO FCTC) and its first Protocol extend beyond tobacco control and contribute to public health governance more broadly, by revealing new processes, institutions and instruments. While there are certainly good reasons to be optimisti...
متن کاملThe application of formal axiology to medical education through the hartman value profile: a prospective cohort study
Introduction: Many criteria such as USMLE scores, applicantresumes, Dean’s letters, recommendation letters, personaldiscussions, interview scores and medical school transcripts canbe used to predict the success of a medical trainee in the USA. Thisinformation is either relatively objective, or subjective. It would bevaluable if we had some objective measures that m...
متن کاملLayout Design of a Furniture Production Line Using Formal Methods
This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.
متن کاملDeveloping Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. UCS
دوره 13 شماره
صفحات -
تاریخ انتشار 2005